341. Logic programming with Prolog /
پدیدآورنده : Max Bramer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
342. Logic with prolog
پدیدآورنده : Peter Gibbins
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
343. Logic with prolog
پدیدآورنده : / Peter gibbins,Gibbins
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Prolog ( Computer Program language),Logic programming
رده :
QA
76
.
73
.
P76G53
1988
344. Logical methods : in honor of Anil Nerode's Sixtieth birthday
پدیدآورنده : John N. Crossley...]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L63
345. Logical methods : in honor of Anil Nerode's sixtieth birthday
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L59
.
L64
1993
346. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
347. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
348. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (Semnan)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
349. Logics of specification languages
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
350. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
351. MAX + Plus II: programmable Logic development system, Getting Started
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Logic Programming,، AHDL
352. Mathematical aspects of logic programming semantics
پدیدآورنده : / Pascal Hitzler, Anthony Seda
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic programming,Programming languages (Electronic computers),-- Semantics
رده :
005
.
115
H676M
2011
353. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic programming-congresses,Artificial intelligence-congresses
رده :
QA
76
.
6
.
N671
1993
354. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
355. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
356. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
357. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
پدیدآورنده : A. Pettorossi, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
358. Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
I567
1992
359. Mind versus computer: were Dreyfus and Winograd right?
پدیدآورنده : edited by M. Gams, M. Paprzycki, and X. Wu
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
360. Mind versus computer :were Dreyfus and Winograd right?
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
1997
